• 
  Juliana Kaizer Vizzotto, Antônio Carlos da Rocha Costa, Amr Sabry:
  Quantum Arrows in Haskell. QPL 2006: 139-152
• 2005
• 
  Oleg Kiselyov, Chung-chieh Shan, Daniel P. Friedman, Amr Sabry:
  Backtracking, interleaving, and terminating monad transformers: (functional pearl). ICFP 2005: 192-203
• 
  Thorsten Altenkirch, Jonathan Grattage, Juliana Kaizer Vizzotto, Amr Sabry:
  An Algebra of Pure Quantum Programming. QPL 2005: 23-47
• 
  Juliana Kaizer Vizzotto, Thorsten Altenkirch, Amr Sabry:
  Structuring quantum effects: superoperators as arrows. CoRR abs/quant-ph/0501151 (2005)
• 2004
• 
  Eugenio Moggi, Amr Sabry:
  An abstract monadic semantics for value recursion. RAIRO Theor. Informatics Appl. 38(4): 375-400 (2004)
• 
  Zena M. Ariola, Hugo Herbelin, Amr Sabry:
  A type-theoretic foundation of continuations and prompts. ICFP 2004: 40-53
• 2003
• 
  Eugenio Moggi, Amr Sabry:
  An Abstract Monadic Semantics for Value Recursion. FICS 2003: 64-79
• 
  Amr Sabry:
  Modeling quantum computing in Haskell. Haskell 2003: 39-49
• 2002
• 
  Daniel P. Friedman, Amr Sabry:
  CPS in little pieces: composing partial continuations. J. Funct. Program. 12(6): 617-622 (2002)
• 
  Olivier Danvy, Amr Sabry:
  Editorial. High. Order Symb. Comput. 15(2-3): 139-140 (2002)
• 2001
• 
  Eugenio Moggi, Amr Sabry:
  Monadic encapsulation of effects: a revised approach (extended version). J. Funct. Program. 11(6): 591-627 (2001)
• 
  Yong Xiao, Amr Sabry, Zena M. Ariola:
  From Syntactic Theories to Interpreters: Automating the Proof of Unique Decomposition. High. Order Symb. Comput. 14(4): 387-409 (2001)
• 
  Steven E. Ganz, Amr Sabry, Walid Taha:
  Macros as Multi-Stage Computations: Type-Safe, Generative, Binding Macros in MacroML. ICFP 2001: 74-85
• 1999
• 
  Miley Semmelroth, Amr Sabry:
  Monadic Encapsulation in ML. ICFP 1999: 8-17
• 
  John Howard Eli Fiskio-Lasseter, Amr Sabry:
  Putting Operational Techniques to the Test: A Syntactic Theory for Behavioral Verilog. HOOTS 1999: 34-51
• 1998
• 
  Amr Sabry:
  What is a Purely Functional Language? J. Funct. Program. 8(1): 1-22 (1998)
• 
  Zena M. Ariola, Amr Sabry:
  Correctness of Monadic State: An Imperative Call-by-Need Calculus. POPL 1998: 62-74
• 1997
• 
  Amr Sabry, Philip Wadler:
  A Reflection on Call-by-Value. ACM Trans. Program. Lang. Syst. 19(6): 916-941 (1997)
• 
  John Launchbury, Amr Sabry:
  Monadic State: Axiomatization and Type Safety. ICFP 1997: 227-238
• 
  Zena M. Ariola, Amr Sabry:
  Correctness of Monadic State: An Imperative Call-by-Need Calculus. HOOTS 1997: 53
• 1996
• 
  Amr Sabry, Philip Wadler:
  A Reflection on Call-by-Value. ICFP 1996: 13-24
• 
  John Hughes, Lars Pareto, Amr Sabry:
  Proving the Correctness of Reactive Systems Using Sized Types. POPL 1996: 410-423
• 1994
• 
  Amr Sabry:
  The formal relationship between direct and continuation-passing style optimizing compilers - a synthesis of two paradigms. University of Houston, TX, USA, Rice COMP TR 94-241, 1994
• 
  Amr Sabry, Matthias Felleisen:
  Is Continuation-Passing Useful for Data Flow Analysis? PLDI 1994: 1-12
• 1993
• 
  Amr Sabry, Matthias Felleisen:
  Reasoning about Programs in Continuation-Passing Style. LISP Symb. Comput. 6(3-4): 289-360 (1993)
• 
  Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen:
  The Essence of Compiling with Continuations. PLDI 1993: 237-247
• 
  Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen:
  The essence of compiling with continuations (with retrospective). Best of PLDI 1993: 502-514
• 1992
• 
  Amr Sabry, Matthias Felleisen:
  Reasoning About Programs in Continuation-Passing Style. LISP and Functional Programming 1992: 288-298

[<< prev] #60 -- #87